integral e^(-t²/2)